منابع مشابه
Design of Rotary Root Stubble Digging Machine Based on Solidworks
In the paper, the necessity of root stubble harvesting and recycling was put forward from the perspective of biomass energy utilization. To accomplish mechanized harvesting on root stubble, a rotary digging machine was designed based on parametric modeling software Solidworks. Firstly, parts were built under entity modeling module, and then assembled to 4 main mechanisms in assembling environme...
متن کاملFormal Synthesis for Pipeline Design?
Holger Hinrichsen, Hans Eveking, and Gerd Ritter Dept. of Electrical and Computer Engineering Darmstadt University of Technology, D-64283 Darmstadt, Germany hinrichsen/eveking/[email protected] Abstract. A method of formally correct synthesis is presented and applied to the automatic construction of pipelined processors. The approach is based on a small set of correctness-preserving tra...
متن کاملSynchronous Pipeline Design in Action Systems
The action systems formalism has recently been applied to the area of asynchronous and synchronous VLSI design. In this paper, we study formal aspects of synchronous pipelining. We show how the framework of synchronous action systems can be used to derive a pipelined structure from a non-pipelined specification in a correctness-preserving manner.
متن کاملSoftware design for panoramic astronomical pipeline processing
We describe the software requirement and design specifications for all-sky panoramic astronomical pipelines. The described software aims to meet the specific needs of super-wide angle optics, and includes cosmic-ray hit rejection, image compression, star recognition, sky opacity analysis, transient detection and a web server allowing access to real-time and archived data. The presented software...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Problems of Water supply, Sewerage and Hydraulic
سال: 2021
ISSN: 2524-0021
DOI: 10.32347/2524-0021.2021.35.42-47